<?php class BatchTest9 {}